Interpretability in Robinson's Q
نویسندگان
چکیده
Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson’s theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson’s position. §
منابع مشابه
The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q
We will generalize the Second Incompleteness Theorem almost to the level of Robinson’s System Q. We will prove there exists a Π1 sentence V , such that if α is any finite consistent extension of Q+V then α will be unable to prove its Semantic Tableaux consistency. SpringerVerlag LNCS # 1847, 2000, pp. 415–430 (Tableaux 2000 Proc.)
متن کاملA sequent system for the interpretability logic with the persistence axiom
In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose ✄-free fragment is the modal logic K4. Here, using the method in [Sas01], we give sequent systems for the interpretability logic ILP obtained by adding the persistence axiom P : (p✄ q) ⊃ ✷(p✄ q) to IL and for the logic IK4+P obtained by ...
متن کاملA Comparative and Evaluative Study of Two Cytological Grading Systems in Breast Carcinoma with Histological Grading: An Important Prognostic Factor
OBJECTIVE Cytonuclear gradings in the breast carcinoma raise the level of FNA reportage and improves patient management. Our aim was to evaluate and compare two cytological grading methods (Robinson's and Mouriquand's) in breast carcinoma and correlate it with Nottingham modification of Scarff-Bloom-Richardson (SBR) histological grading. MATERIALS AND METHODS 30 cytologically proven cases of ...
متن کاملDuality between Logics and Equivalence Relations
Assuming w is the only measurable cardinal, we prove: (i) Let ~ be an equivalence relation such that ~ = =z. for some logic L < L* satisfying Robinson's consistency theorem (with L* arbitrary); then there exists a strongest logic L+ « L* such that ~ = =/.+ ; in addition, L+ is countably compact if ~^= . (ii) Let ~ be an equivalence relation such that ~ = =/." for some logic L° satisfying Robins...
متن کاملCardinal Arithmetic in Weak Theories
In this paper we develop the theory of cardinals in the theory COPY. This is the theory of two total, jointly injective binary predicates in a second order version, where we may quantify over binary relations. The only second order axioms of the theory are the axiom asserting the existence of an empty relation and the adjunction axiom, which says that we may enrich any relation R with a pair x,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of Symbolic Logic
دوره 19 شماره
صفحات -
تاریخ انتشار 2013